is\_leaf($t$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$Case($t$) Case tree\_leaf($l$) =$>$ true$_{2}$ Default =$>$ false$_{2}$